$i$ $\leq$ $j$ $\leq$ $k$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($i$ $\leq$ $j$) $\wedge$ ($j$ $\leq$ $k$)